Programming idioms - PDFSEARCH.IO - Document Search Engine

Programming idioms
Results: 203

#	Item
171	Algorithms and Data Structures © N. Wirth[removed]Oberon version: August 2004). Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2013-11-29 09:49:52 Theoretical computer science Mathematical logic Procedural programming languages Programming idioms Turing Award laureates Pascal Algorithm Pointer Edsger W. Dijkstra Computing Software engineering Computer programming
172	nuss_buildrce_checkoutsp_build_sparrow0.10434_sparrow_mpcore_trmphics_to_timing_diagram_conventions.svg Add to Reading List Source URL: infocenter.arm.com Language: English Central processing unit Programming idioms Instruction set architectures ARM architecture Memory management unit Jazelle Control register Processor register X86 debug register Computer architecture Computing Computer hardware
173	Development and attributes of z/Architecture Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-01-28 05:37:13 Central processing unit Computing platforms Programming idioms Assembly languages IBM System/370 31-bit Memory address 64-bit Addressing mode Computing Computer architecture Computer hardware
174	Chapter 2 Divide-and-conquer algorithms Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2006-10-03 04:58:53 Theoretical computer science Programming idioms Operations research Merge sort Master theorem Divide and conquer algorithm Algorithm Factorial Binary search algorithm Mathematics Sorting algorithms Mathematical logic
175	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Theoretical computer science Programming idioms Category theory Functional programming Haskell Coinduction Corecursion Pattern matching Software engineering Computer programming Computing
176	Algorithms and Data Structures © N. Wirth[removed]Oberon version: August 2004). Add to Reading List Source URL: www.inf.ethz.ch Language: English - Date: 2012-02-22 05:24:51 Theoretical computer science Mathematical logic Procedural programming languages Programming idioms Turing Award laureates Pascal Algorithm Pointer Edsger W. Dijkstra Computing Software engineering Computer programming
177	Packrat Parsers Can Support Left Recursion Alessandro Warth, James R. Douglass, Todd Millstein Add to Reading List Source URL: www.vpri.org Language: English - Date: 2008-12-10 01:30:33 Computer programming Parsing Compiler construction Recursion Programming idioms Parsing expression grammar Left recursion Top-down parsing LR parser Formal languages Software engineering Computing
178	Reasoning about Codata Ralf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:34:28 Recursion Programming idioms Functional languages Theoretical computer science Self-reference Haskell Pure Constructible universe Corecursion Computer programming Software engineering Computing
179	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
180	PDF Document Add to Reading List Source URL: testweb.science.uu.nl Language: English - Date: 2013-10-07 06:29:56 Programming idioms Bosons Quantum chromodynamics Recursion Gluon Higgs boson Spin Yang–Mills theory Large Hadron Collider Physics Particle physics Quantum field theory

UPDATE